#![allow(clippy::unreadable_literal)]

pub const R: usize = 10;

pub const RC: [u64; R] = [
    0x4f01b887e8c62318,
    0x52916f79f5d2a636,
    0x357b0ca38e9bbc60,
    0x57fe4b2ec2d7e01d,
    0xda4af09fe5377715,
    0x856ba0b10a29c958,
    0x67053ecbf4105dbd,
    0xd8957da78b4127e4,
    0x9e4717dd667ceefb,
    0x33835aad07bf2dca,
];

pub const C0: [u64; 256] = [
    0xd83078c018601818,
    0x2646af05238c2323,
    0xb891f97ec63fc6c6,
    0xfbcd6f13e887e8e8,
    0xcb13a14c87268787,
    0x116d62a9b8dab8b8,
    0x0902050801040101,
    0x0d9e6e424f214f4f,
    0x9b6ceead36d83636,
    0xff510459a6a2a6a6,
    0x0cb9bdded26fd2d2,
    0x0ef706fbf5f3f5f5,
    0x96f280ef79f97979,
    0x30dece5f6fa16f6f,
    0x6d3feffc917e9191,
    0xf8a407aa52555252,
    0x47c0fd27609d6060,
    0x35657689bccabcbc,
    0x372bcdac9b569b9b,
    0x8a018c048e028e8e,
    0xd25b1571a3b6a3a3,
    0x6c183c600c300c0c,
    0x84f68aff7bf17b7b,
    0x806ae1b535d43535,
    0xf53a69e81d741d1d,
    0xb3dd4753e0a7e0e0,
    0x21b3acf6d77bd7d7,
    0x9c99ed5ec22fc2c2,
    0x435c966d2eb82e2e,
    0x29967a624b314b4b,
    0x5de121a3fedffefe,
    0xd5ae168257415757,
    0xbd2a41a815541515,
    0xe8eeb69f77c17777,
    0x926eeba537dc3737,
    0x9ed7567be5b3e5e5,
    0x1323d98c9f469f9f,
    0x23fd17d3f0e7f0f0,
    0x20947f6a4a354a4a,
    0x44a9959eda4fdada,
    0xa2b025fa587d5858,
    0xcf8fca06c903c9c9,
    0x7c528d5529a42929,
    0x5a1422500a280a0a,
    0x507f4fe1b1feb1b1,
    0xc95d1a69a0baa0a0,
    0x14d6da7f6bb16b6b,
    0xd917ab5c852e8585,
    0x3c677381bdcebdbd,
    0x8fba34d25d695d5d,
    0x9020508010401010,
    0x07f503f3f4f7f4f4,
    0xdd8bc016cb0bcbcb,
    0xd37cc6ed3ef83e3e,
    0x2d0a112805140505,
    0x78cee61f67816767,
    0x97d55373e4b7e4e4,
    0x024ebb25279c2727,
    0x7382583241194141,
    0xa70b9d2c8b168b8b,
    0xf6530151a7a6a7a7,
    0xb2fa94cf7de97d7d,
    0x4937fbdc956e9595,
    0x56ad9f8ed847d8d8,
    0x70eb308bfbcbfbfb,
    0xcdc17123ee9feeee,
    0xbbf891c77ced7c7c,
    0x71cce31766856666,
    0x7ba78ea6dd53dddd,
    0xaf2e4bb8175c1717,
    0x458e460247014747,
    0x1a21dc849e429e9e,
    0xd489c51eca0fcaca,
    0x585a99752db42d2d,
    0x2e637991bfc6bfbf,
    0x3f0e1b38071c0707,
    0xac472301ad8eadad,
    0xb0b42fea5a755a5a,
    0xef1bb56c83368383,
    0xb666ff8533cc3333,
    0x5cc6f23f63916363,
    0x12040a1002080202,
    0x93493839aa92aaaa,
    0xdee2a8af71d97171,
    0xc68dcf0ec807c8c8,
    0xd1327dc819641919,
    0x3b92707249394949,
    0x5faf9a86d943d9d9,
    0x31f91dc3f2eff2f2,
    0xa8db484be3abe3e3,
    0xb9b62ae25b715b5b,
    0xbc0d9234881a8888,
    0x3e29c8a49a529a9a,
    0x0b4cbe2d26982626,
    0xbf64fa8d32c83232,
    0x597d4ae9b0fab0b0,
    0xf2cf6a1be983e9e9,
    0x771e33780f3c0f0f,
    0x33b7a6e6d573d5d5,
    0xf41dba74803a8080,
    0x27617c99bec2bebe,
    0xeb87de26cd13cdcd,
    0x8968e4bd34d03434,
    0x3290757a483d4848,
    0x54e324abffdbffff,
    0x8df48ff77af57a7a,
    0x643deaf4907a9090,
    0x9dbe3ec25f615f5f,
    0x3d40a01d20802020,
    0x0fd0d56768bd6868,
    0xca3472d01a681a1a,
    0xb7412c19ae82aeae,
    0x7d755ec9b4eab4b4,
    0xcea8199a544d5454,
    0x7f3be5ec93769393,
    0x2f44aa0d22882222,
    0x63c8e907648d6464,
    0x2aff12dbf1e3f1f1,
    0xcce6a2bf73d17373,
    0x82245a9012481212,
    0x7a805d3a401d4040,
    0x4810284008200808,
    0x959be856c32bc3c3,
    0xdfc57b33ec97ecec,
    0x4dab9096db4bdbdb,
    0xc05f1f61a1bea1a1,
    0x9107831c8d0e8d8d,
    0xc87ac9f53df43d3d,
    0x5b33f1cc97669797,
    0x0000000000000000,
    0xf983d436cf1bcfcf,
    0x6e5687452bac2b2b,
    0xe1ecb39776c57676,
    0xe619b06482328282,
    0x28b1a9fed67fd6d6,
    0xc33677d81b6c1b1b,
    0x74775bc1b5eeb5b5,
    0xbe432911af86afaf,
    0x1dd4df776ab56a6a,
    0xeaa00dba505d5050,
    0x578a4c1245094545,
    0x38fb18cbf3ebf3f3,
    0xad60f09d30c03030,
    0xc4c3742bef9befef,
    0xda7ec3e53ffc3f3f,
    0xc7aa1c9255495555,
    0xdb591079a2b2a2a2,
    0xe9c96503ea8feaea,
    0x6acaec0f65896565,
    0x036968b9bad2baba,
    0x4a5e93652fbc2f2f,
    0x8e9de74ec027c0c0,
    0x60a181bede5fdede,
    0xfc386ce01c701c1c,
    0x46e72ebbfdd3fdfd,
    0x1f9a64524d294d4d,
    0x7639e0e492729292,
    0xfaeabc8f75c97575,
    0x360c1e3006180606,
    0xae0998248a128a8a,
    0x4b7940f9b2f2b2b2,
    0x85d15963e6bfe6e6,
    0x7e1c36700e380e0e,
    0xe73e63f81f7c1f1f,
    0x55c4f73762956262,
    0x3ab5a3eed477d4d4,
    0x814d3229a89aa8a8,
    0x5231f4c496629696,
    0x62ef3a9bf9c3f9f9,
    0xa397f666c533c5c5,
    0x104ab13525942525,
    0xabb220f259795959,
    0xd015ae54842a8484,
    0xc5e4a7b772d57272,
    0xec72ddd539e43939,
    0x1698615a4c2d4c4c,
    0x94bc3bca5e655e5e,
    0x9ff085e778fd7878,
    0xe570d8dd38e03838,
    0x980586148c0a8c8c,
    0x17bfb2c6d163d1d1,
    0xe4570b41a5aea5a5,
    0xa1d94d43e2afe2e2,
    0x4ec2f82f61996161,
    0x427b45f1b3f6b3b3,
    0x3442a51521842121,
    0x0825d6949c4a9c9c,
    0xee3c66f01e781e1e,
    0x6186522243114343,
    0xb193fc76c73bc7c7,
    0x4fe52bb3fcd7fcfc,
    0x2408142004100404,
    0xe3a208b251595151,
    0x252fc7bc995e9999,
    0x22dac44f6da96d6d,
    0x651a39680d340d0d,
    0x79e93583facffafa,
    0x69a384b6df5bdfdf,
    0xa9fc9bd77ee57e7e,
    0x1948b43d24902424,
    0xfe76d7c53bec3b3b,
    0x9a4b3d31ab96abab,
    0xf081d13ece1fcece,
    0x9922558811441111,
    0x8303890c8f068f8f,
    0x049c6b4a4e254e4e,
    0x667351d1b7e6b7b7,
    0xe0cb600beb8bebeb,
    0xc178ccfd3cf03c3c,
    0xfd1fbf7c813e8181,
    0x4035fed4946a9494,
    0x1cf30cebf7fbf7f7,
    0x186f67a1b9deb9b9,
    0x8b265f98134c1313,
    0x51589c7d2cb02c2c,
    0x05bbb8d6d36bd3d3,
    0x8cd35c6be7bbe7e7,
    0x39dccb576ea56e6e,
    0xaa95f36ec437c4c4,
    0x1b060f18030c0303,
    0xdcac138a56455656,
    0x5e88491a440d4444,
    0xa0fe9edf7fe17f7f,
    0x884f3721a99ea9a9,
    0x6754824d2aa82a2a,
    0x0a6b6db1bbd6bbbb,
    0x879fe246c123c1c1,
    0xf1a602a253515353,
    0x72a58baedc57dcdc,
    0x531627580b2c0b0b,
    0x0127d39c9d4e9d9d,
    0x2bd8c1476cad6c6c,
    0xa462f59531c43131,
    0xf3e8b98774cd7474,
    0x15f109e3f6fff6f6,
    0x4c8c430a46054646,
    0xa5452609ac8aacac,
    0xb50f973c891e8989,
    0xb42844a014501414,
    0xbadf425be1a3e1e1,
    0xa62c4eb016581616,
    0xf774d2cd3ae83a3a,
    0x06d2d06f69b96969,
    0x41122d4809240909,
    0xd7e0ada770dd7070,
    0x6f7154d9b6e2b6b6,
    0x1ebdb7ced067d0d0,
    0xd6c77e3bed93eded,
    0xe285db2ecc17cccc,
    0x6884572a42154242,
    0x2c2dc2b4985a9898,
    0xed550e49a4aaa4a4,
    0x7550885d28a02828,
    0x86b831da5c6d5c5c,
    0x6bed3f93f8c7f8f8,
    0xc211a44486228686,
];

pub const C1: [u64; 256] = [
    0x3078c018601818d8,
    0x46af05238c232326,
    0x91f97ec63fc6c6b8,
    0xcd6f13e887e8e8fb,
    0x13a14c87268787cb,
    0x6d62a9b8dab8b811,
    0x0205080104010109,
    0x9e6e424f214f4f0d,
    0x6ceead36d836369b,
    0x510459a6a2a6a6ff,
    0xb9bdded26fd2d20c,
    0xf706fbf5f3f5f50e,
    0xf280ef79f9797996,
    0xdece5f6fa16f6f30,
    0x3feffc917e91916d,
    0xa407aa52555252f8,
    0xc0fd27609d606047,
    0x657689bccabcbc35,
    0x2bcdac9b569b9b37,
    0x018c048e028e8e8a,
    0x5b1571a3b6a3a3d2,
    0x183c600c300c0c6c,
    0xf68aff7bf17b7b84,
    0x6ae1b535d4353580,
    0x3a69e81d741d1df5,
    0xdd4753e0a7e0e0b3,
    0xb3acf6d77bd7d721,
    0x99ed5ec22fc2c29c,
    0x5c966d2eb82e2e43,
    0x967a624b314b4b29,
    0xe121a3fedffefe5d,
    0xae168257415757d5,
    0x2a41a815541515bd,
    0xeeb69f77c17777e8,
    0x6eeba537dc373792,
    0xd7567be5b3e5e59e,
    0x23d98c9f469f9f13,
    0xfd17d3f0e7f0f023,
    0x947f6a4a354a4a20,
    0xa9959eda4fdada44,
    0xb025fa587d5858a2,
    0x8fca06c903c9c9cf,
    0x528d5529a429297c,
    0x1422500a280a0a5a,
    0x7f4fe1b1feb1b150,
    0x5d1a69a0baa0a0c9,
    0xd6da7f6bb16b6b14,
    0x17ab5c852e8585d9,
    0x677381bdcebdbd3c,
    0xba34d25d695d5d8f,
    0x2050801040101090,
    0xf503f3f4f7f4f407,
    0x8bc016cb0bcbcbdd,
    0x7cc6ed3ef83e3ed3,
    0x0a1128051405052d,
    0xcee61f6781676778,
    0xd55373e4b7e4e497,
    0x4ebb25279c272702,
    0x8258324119414173,
    0x0b9d2c8b168b8ba7,
    0x530151a7a6a7a7f6,
    0xfa94cf7de97d7db2,
    0x37fbdc956e959549,
    0xad9f8ed847d8d856,
    0xeb308bfbcbfbfb70,
    0xc17123ee9feeeecd,
    0xf891c77ced7c7cbb,
    0xcce3176685666671,
    0xa78ea6dd53dddd7b,
    0x2e4bb8175c1717af,
    0x8e46024701474745,
    0x21dc849e429e9e1a,
    0x89c51eca0fcacad4,
    0x5a99752db42d2d58,
    0x637991bfc6bfbf2e,
    0x0e1b38071c07073f,
    0x472301ad8eadadac,
    0xb42fea5a755a5ab0,
    0x1bb56c83368383ef,
    0x66ff8533cc3333b6,
    0xc6f23f639163635c,
    0x040a100208020212,
    0x493839aa92aaaa93,
    0xe2a8af71d97171de,
    0x8dcf0ec807c8c8c6,
    0x327dc819641919d1,
    0x927072493949493b,
    0xaf9a86d943d9d95f,
    0xf91dc3f2eff2f231,
    0xdb484be3abe3e3a8,
    0xb62ae25b715b5bb9,
    0x0d9234881a8888bc,
    0x29c8a49a529a9a3e,
    0x4cbe2d269826260b,
    0x64fa8d32c83232bf,
    0x7d4ae9b0fab0b059,
    0xcf6a1be983e9e9f2,
    0x1e33780f3c0f0f77,
    0xb7a6e6d573d5d533,
    0x1dba74803a8080f4,
    0x617c99bec2bebe27,
    0x87de26cd13cdcdeb,
    0x68e4bd34d0343489,
    0x90757a483d484832,
    0xe324abffdbffff54,
    0xf48ff77af57a7a8d,
    0x3deaf4907a909064,
    0xbe3ec25f615f5f9d,
    0x40a01d208020203d,
    0xd0d56768bd68680f,
    0x3472d01a681a1aca,
    0x412c19ae82aeaeb7,
    0x755ec9b4eab4b47d,
    0xa8199a544d5454ce,
    0x3be5ec937693937f,
    0x44aa0d228822222f,
    0xc8e907648d646463,
    0xff12dbf1e3f1f12a,
    0xe6a2bf73d17373cc,
    0x245a901248121282,
    0x805d3a401d40407a,
    0x1028400820080848,
    0x9be856c32bc3c395,
    0xc57b33ec97ececdf,
    0xab9096db4bdbdb4d,
    0x5f1f61a1bea1a1c0,
    0x07831c8d0e8d8d91,
    0x7ac9f53df43d3dc8,
    0x33f1cc976697975b,
    0x0000000000000000,
    0x83d436cf1bcfcff9,
    0x5687452bac2b2b6e,
    0xecb39776c57676e1,
    0x19b06482328282e6,
    0xb1a9fed67fd6d628,
    0x3677d81b6c1b1bc3,
    0x775bc1b5eeb5b574,
    0x432911af86afafbe,
    0xd4df776ab56a6a1d,
    0xa00dba505d5050ea,
    0x8a4c124509454557,
    0xfb18cbf3ebf3f338,
    0x60f09d30c03030ad,
    0xc3742bef9befefc4,
    0x7ec3e53ffc3f3fda,
    0xaa1c9255495555c7,
    0x591079a2b2a2a2db,
    0xc96503ea8feaeae9,
    0xcaec0f658965656a,
    0x6968b9bad2baba03,
    0x5e93652fbc2f2f4a,
    0x9de74ec027c0c08e,
    0xa181bede5fdede60,
    0x386ce01c701c1cfc,
    0xe72ebbfdd3fdfd46,
    0x9a64524d294d4d1f,
    0x39e0e49272929276,
    0xeabc8f75c97575fa,
    0x0c1e300618060636,
    0x0998248a128a8aae,
    0x7940f9b2f2b2b24b,
    0xd15963e6bfe6e685,
    0x1c36700e380e0e7e,
    0x3e63f81f7c1f1fe7,
    0xc4f7376295626255,
    0xb5a3eed477d4d43a,
    0x4d3229a89aa8a881,
    0x31f4c49662969652,
    0xef3a9bf9c3f9f962,
    0x97f666c533c5c5a3,
    0x4ab1352594252510,
    0xb220f259795959ab,
    0x15ae54842a8484d0,
    0xe4a7b772d57272c5,
    0x72ddd539e43939ec,
    0x98615a4c2d4c4c16,
    0xbc3bca5e655e5e94,
    0xf085e778fd78789f,
    0x70d8dd38e03838e5,
    0x0586148c0a8c8c98,
    0xbfb2c6d163d1d117,
    0x570b41a5aea5a5e4,
    0xd94d43e2afe2e2a1,
    0xc2f82f619961614e,
    0x7b45f1b3f6b3b342,
    0x42a5152184212134,
    0x25d6949c4a9c9c08,
    0x3c66f01e781e1eee,
    0x8652224311434361,
    0x93fc76c73bc7c7b1,
    0xe52bb3fcd7fcfc4f,
    0x0814200410040424,
    0xa208b251595151e3,
    0x2fc7bc995e999925,
    0xdac44f6da96d6d22,
    0x1a39680d340d0d65,
    0xe93583facffafa79,
    0xa384b6df5bdfdf69,
    0xfc9bd77ee57e7ea9,
    0x48b43d2490242419,
    0x76d7c53bec3b3bfe,
    0x4b3d31ab96abab9a,
    0x81d13ece1fcecef0,
    0x2255881144111199,
    0x03890c8f068f8f83,
    0x9c6b4a4e254e4e04,
    0x7351d1b7e6b7b766,
    0xcb600beb8bebebe0,
    0x78ccfd3cf03c3cc1,
    0x1fbf7c813e8181fd,
    0x35fed4946a949440,
    0xf30cebf7fbf7f71c,
    0x6f67a1b9deb9b918,
    0x265f98134c13138b,
    0x589c7d2cb02c2c51,
    0xbbb8d6d36bd3d305,
    0xd35c6be7bbe7e78c,
    0xdccb576ea56e6e39,
    0x95f36ec437c4c4aa,
    0x060f18030c03031b,
    0xac138a56455656dc,
    0x88491a440d44445e,
    0xfe9edf7fe17f7fa0,
    0x4f3721a99ea9a988,
    0x54824d2aa82a2a67,
    0x6b6db1bbd6bbbb0a,
    0x9fe246c123c1c187,
    0xa602a253515353f1,
    0xa58baedc57dcdc72,
    0x1627580b2c0b0b53,
    0x27d39c9d4e9d9d01,
    0xd8c1476cad6c6c2b,
    0x62f59531c43131a4,
    0xe8b98774cd7474f3,
    0xf109e3f6fff6f615,
    0x8c430a460546464c,
    0x452609ac8aacaca5,
    0x0f973c891e8989b5,
    0x2844a014501414b4,
    0xdf425be1a3e1e1ba,
    0x2c4eb016581616a6,
    0x74d2cd3ae83a3af7,
    0xd2d06f69b9696906,
    0x122d480924090941,
    0xe0ada770dd7070d7,
    0x7154d9b6e2b6b66f,
    0xbdb7ced067d0d01e,
    0xc77e3bed93ededd6,
    0x85db2ecc17cccce2,
    0x84572a4215424268,
    0x2dc2b4985a98982c,
    0x550e49a4aaa4a4ed,
    0x50885d28a0282875,
    0xb831da5c6d5c5c86,
    0xed3f93f8c7f8f86b,
    0x11a44486228686c2,
];

pub const C2: [u64; 256] = [
    0x78c018601818d830,
    0xaf05238c23232646,
    0xf97ec63fc6c6b891,
    0x6f13e887e8e8fbcd,
    0xa14c87268787cb13,
    0x62a9b8dab8b8116d,
    0x0508010401010902,
    0x6e424f214f4f0d9e,
    0xeead36d836369b6c,
    0x0459a6a2a6a6ff51,
    0xbdded26fd2d20cb9,
    0x06fbf5f3f5f50ef7,
    0x80ef79f9797996f2,
    0xce5f6fa16f6f30de,
    0xeffc917e91916d3f,
    0x07aa52555252f8a4,
    0xfd27609d606047c0,
    0x7689bccabcbc3565,
    0xcdac9b569b9b372b,
    0x8c048e028e8e8a01,
    0x1571a3b6a3a3d25b,
    0x3c600c300c0c6c18,
    0x8aff7bf17b7b84f6,
    0xe1b535d43535806a,
    0x69e81d741d1df53a,
    0x4753e0a7e0e0b3dd,
    0xacf6d77bd7d721b3,
    0xed5ec22fc2c29c99,
    0x966d2eb82e2e435c,
    0x7a624b314b4b2996,
    0x21a3fedffefe5de1,
    0x168257415757d5ae,
    0x41a815541515bd2a,
    0xb69f77c17777e8ee,
    0xeba537dc3737926e,
    0x567be5b3e5e59ed7,
    0xd98c9f469f9f1323,
    0x17d3f0e7f0f023fd,
    0x7f6a4a354a4a2094,
    0x959eda4fdada44a9,
    0x25fa587d5858a2b0,
    0xca06c903c9c9cf8f,
    0x8d5529a429297c52,
    0x22500a280a0a5a14,
    0x4fe1b1feb1b1507f,
    0x1a69a0baa0a0c95d,
    0xda7f6bb16b6b14d6,
    0xab5c852e8585d917,
    0x7381bdcebdbd3c67,
    0x34d25d695d5d8fba,
    0x5080104010109020,
    0x03f3f4f7f4f407f5,
    0xc016cb0bcbcbdd8b,
    0xc6ed3ef83e3ed37c,
    0x1128051405052d0a,
    0xe61f6781676778ce,
    0x5373e4b7e4e497d5,
    0xbb25279c2727024e,
    0x5832411941417382,
    0x9d2c8b168b8ba70b,
    0x0151a7a6a7a7f653,
    0x94cf7de97d7db2fa,
    0xfbdc956e95954937,
    0x9f8ed847d8d856ad,
    0x308bfbcbfbfb70eb,
    0x7123ee9feeeecdc1,
    0x91c77ced7c7cbbf8,
    0xe3176685666671cc,
    0x8ea6dd53dddd7ba7,
    0x4bb8175c1717af2e,
    0x460247014747458e,
    0xdc849e429e9e1a21,
    0xc51eca0fcacad489,
    0x99752db42d2d585a,
    0x7991bfc6bfbf2e63,
    0x1b38071c07073f0e,
    0x2301ad8eadadac47,
    0x2fea5a755a5ab0b4,
    0xb56c83368383ef1b,
    0xff8533cc3333b666,
    0xf23f639163635cc6,
    0x0a10020802021204,
    0x3839aa92aaaa9349,
    0xa8af71d97171dee2,
    0xcf0ec807c8c8c68d,
    0x7dc819641919d132,
    0x7072493949493b92,
    0x9a86d943d9d95faf,
    0x1dc3f2eff2f231f9,
    0x484be3abe3e3a8db,
    0x2ae25b715b5bb9b6,
    0x9234881a8888bc0d,
    0xc8a49a529a9a3e29,
    0xbe2d269826260b4c,
    0xfa8d32c83232bf64,
    0x4ae9b0fab0b0597d,
    0x6a1be983e9e9f2cf,
    0x33780f3c0f0f771e,
    0xa6e6d573d5d533b7,
    0xba74803a8080f41d,
    0x7c99bec2bebe2761,
    0xde26cd13cdcdeb87,
    0xe4bd34d034348968,
    0x757a483d48483290,
    0x24abffdbffff54e3,
    0x8ff77af57a7a8df4,
    0xeaf4907a9090643d,
    0x3ec25f615f5f9dbe,
    0xa01d208020203d40,
    0xd56768bd68680fd0,
    0x72d01a681a1aca34,
    0x2c19ae82aeaeb741,
    0x5ec9b4eab4b47d75,
    0x199a544d5454cea8,
    0xe5ec937693937f3b,
    0xaa0d228822222f44,
    0xe907648d646463c8,
    0x12dbf1e3f1f12aff,
    0xa2bf73d17373cce6,
    0x5a90124812128224,
    0x5d3a401d40407a80,
    0x2840082008084810,
    0xe856c32bc3c3959b,
    0x7b33ec97ececdfc5,
    0x9096db4bdbdb4dab,
    0x1f61a1bea1a1c05f,
    0x831c8d0e8d8d9107,
    0xc9f53df43d3dc87a,
    0xf1cc976697975b33,
    0x0000000000000000,
    0xd436cf1bcfcff983,
    0x87452bac2b2b6e56,
    0xb39776c57676e1ec,
    0xb06482328282e619,
    0xa9fed67fd6d628b1,
    0x77d81b6c1b1bc336,
    0x5bc1b5eeb5b57477,
    0x2911af86afafbe43,
    0xdf776ab56a6a1dd4,
    0x0dba505d5050eaa0,
    0x4c1245094545578a,
    0x18cbf3ebf3f338fb,
    0xf09d30c03030ad60,
    0x742bef9befefc4c3,
    0xc3e53ffc3f3fda7e,
    0x1c9255495555c7aa,
    0x1079a2b2a2a2db59,
    0x6503ea8feaeae9c9,
    0xec0f658965656aca,
    0x68b9bad2baba0369,
    0x93652fbc2f2f4a5e,
    0xe74ec027c0c08e9d,
    0x81bede5fdede60a1,
    0x6ce01c701c1cfc38,
    0x2ebbfdd3fdfd46e7,
    0x64524d294d4d1f9a,
    0xe0e4927292927639,
    0xbc8f75c97575faea,
    0x1e3006180606360c,
    0x98248a128a8aae09,
    0x40f9b2f2b2b24b79,
    0x5963e6bfe6e685d1,
    0x36700e380e0e7e1c,
    0x63f81f7c1f1fe73e,
    0xf7376295626255c4,
    0xa3eed477d4d43ab5,
    0x3229a89aa8a8814d,
    0xf4c4966296965231,
    0x3a9bf9c3f9f962ef,
    0xf666c533c5c5a397,
    0xb13525942525104a,
    0x20f259795959abb2,
    0xae54842a8484d015,
    0xa7b772d57272c5e4,
    0xddd539e43939ec72,
    0x615a4c2d4c4c1698,
    0x3bca5e655e5e94bc,
    0x85e778fd78789ff0,
    0xd8dd38e03838e570,
    0x86148c0a8c8c9805,
    0xb2c6d163d1d117bf,
    0x0b41a5aea5a5e457,
    0x4d43e2afe2e2a1d9,
    0xf82f619961614ec2,
    0x45f1b3f6b3b3427b,
    0xa515218421213442,
    0xd6949c4a9c9c0825,
    0x66f01e781e1eee3c,
    0x5222431143436186,
    0xfc76c73bc7c7b193,
    0x2bb3fcd7fcfc4fe5,
    0x1420041004042408,
    0x08b251595151e3a2,
    0xc7bc995e9999252f,
    0xc44f6da96d6d22da,
    0x39680d340d0d651a,
    0x3583facffafa79e9,
    0x84b6df5bdfdf69a3,
    0x9bd77ee57e7ea9fc,
    0xb43d249024241948,
    0xd7c53bec3b3bfe76,
    0x3d31ab96abab9a4b,
    0xd13ece1fcecef081,
    0x5588114411119922,
    0x890c8f068f8f8303,
    0x6b4a4e254e4e049c,
    0x51d1b7e6b7b76673,
    0x600beb8bebebe0cb,
    0xccfd3cf03c3cc178,
    0xbf7c813e8181fd1f,
    0xfed4946a94944035,
    0x0cebf7fbf7f71cf3,
    0x67a1b9deb9b9186f,
    0x5f98134c13138b26,
    0x9c7d2cb02c2c5158,
    0xb8d6d36bd3d305bb,
    0x5c6be7bbe7e78cd3,
    0xcb576ea56e6e39dc,
    0xf36ec437c4c4aa95,
    0x0f18030c03031b06,
    0x138a56455656dcac,
    0x491a440d44445e88,
    0x9edf7fe17f7fa0fe,
    0x3721a99ea9a9884f,
    0x824d2aa82a2a6754,
    0x6db1bbd6bbbb0a6b,
    0xe246c123c1c1879f,
    0x02a253515353f1a6,
    0x8baedc57dcdc72a5,
    0x27580b2c0b0b5316,
    0xd39c9d4e9d9d0127,
    0xc1476cad6c6c2bd8,
    0xf59531c43131a462,
    0xb98774cd7474f3e8,
    0x09e3f6fff6f615f1,
    0x430a460546464c8c,
    0x2609ac8aacaca545,
    0x973c891e8989b50f,
    0x44a014501414b428,
    0x425be1a3e1e1badf,
    0x4eb016581616a62c,
    0xd2cd3ae83a3af774,
    0xd06f69b9696906d2,
    0x2d48092409094112,
    0xada770dd7070d7e0,
    0x54d9b6e2b6b66f71,
    0xb7ced067d0d01ebd,
    0x7e3bed93ededd6c7,
    0xdb2ecc17cccce285,
    0x572a421542426884,
    0xc2b4985a98982c2d,
    0x0e49a4aaa4a4ed55,
    0x885d28a028287550,
    0x31da5c6d5c5c86b8,
    0x3f93f8c7f8f86bed,
    0xa44486228686c211,
];

pub const C3: [u64; 256] = [
    0xc018601818d83078,
    0x05238c23232646af,
    0x7ec63fc6c6b891f9,
    0x13e887e8e8fbcd6f,
    0x4c87268787cb13a1,
    0xa9b8dab8b8116d62,
    0x0801040101090205,
    0x424f214f4f0d9e6e,
    0xad36d836369b6cee,
    0x59a6a2a6a6ff5104,
    0xded26fd2d20cb9bd,
    0xfbf5f3f5f50ef706,
    0xef79f9797996f280,
    0x5f6fa16f6f30dece,
    0xfc917e91916d3fef,
    0xaa52555252f8a407,
    0x27609d606047c0fd,
    0x89bccabcbc356576,
    0xac9b569b9b372bcd,
    0x048e028e8e8a018c,
    0x71a3b6a3a3d25b15,
    0x600c300c0c6c183c,
    0xff7bf17b7b84f68a,
    0xb535d43535806ae1,
    0xe81d741d1df53a69,
    0x53e0a7e0e0b3dd47,
    0xf6d77bd7d721b3ac,
    0x5ec22fc2c29c99ed,
    0x6d2eb82e2e435c96,
    0x624b314b4b29967a,
    0xa3fedffefe5de121,
    0x8257415757d5ae16,
    0xa815541515bd2a41,
    0x9f77c17777e8eeb6,
    0xa537dc3737926eeb,
    0x7be5b3e5e59ed756,
    0x8c9f469f9f1323d9,
    0xd3f0e7f0f023fd17,
    0x6a4a354a4a20947f,
    0x9eda4fdada44a995,
    0xfa587d5858a2b025,
    0x06c903c9c9cf8fca,
    0x5529a429297c528d,
    0x500a280a0a5a1422,
    0xe1b1feb1b1507f4f,
    0x69a0baa0a0c95d1a,
    0x7f6bb16b6b14d6da,
    0x5c852e8585d917ab,
    0x81bdcebdbd3c6773,
    0xd25d695d5d8fba34,
    0x8010401010902050,
    0xf3f4f7f4f407f503,
    0x16cb0bcbcbdd8bc0,
    0xed3ef83e3ed37cc6,
    0x28051405052d0a11,
    0x1f6781676778cee6,
    0x73e4b7e4e497d553,
    0x25279c2727024ebb,
    0x3241194141738258,
    0x2c8b168b8ba70b9d,
    0x51a7a6a7a7f65301,
    0xcf7de97d7db2fa94,
    0xdc956e95954937fb,
    0x8ed847d8d856ad9f,
    0x8bfbcbfbfb70eb30,
    0x23ee9feeeecdc171,
    0xc77ced7c7cbbf891,
    0x176685666671cce3,
    0xa6dd53dddd7ba78e,
    0xb8175c1717af2e4b,
    0x0247014747458e46,
    0x849e429e9e1a21dc,
    0x1eca0fcacad489c5,
    0x752db42d2d585a99,
    0x91bfc6bfbf2e6379,
    0x38071c07073f0e1b,
    0x01ad8eadadac4723,
    0xea5a755a5ab0b42f,
    0x6c83368383ef1bb5,
    0x8533cc3333b666ff,
    0x3f639163635cc6f2,
    0x100208020212040a,
    0x39aa92aaaa934938,
    0xaf71d97171dee2a8,
    0x0ec807c8c8c68dcf,
    0xc819641919d1327d,
    0x72493949493b9270,
    0x86d943d9d95faf9a,
    0xc3f2eff2f231f91d,
    0x4be3abe3e3a8db48,
    0xe25b715b5bb9b62a,
    0x34881a8888bc0d92,
    0xa49a529a9a3e29c8,
    0x2d269826260b4cbe,
    0x8d32c83232bf64fa,
    0xe9b0fab0b0597d4a,
    0x1be983e9e9f2cf6a,
    0x780f3c0f0f771e33,
    0xe6d573d5d533b7a6,
    0x74803a8080f41dba,
    0x99bec2bebe27617c,
    0x26cd13cdcdeb87de,
    0xbd34d034348968e4,
    0x7a483d4848329075,
    0xabffdbffff54e324,
    0xf77af57a7a8df48f,
    0xf4907a9090643dea,
    0xc25f615f5f9dbe3e,
    0x1d208020203d40a0,
    0x6768bd68680fd0d5,
    0xd01a681a1aca3472,
    0x19ae82aeaeb7412c,
    0xc9b4eab4b47d755e,
    0x9a544d5454cea819,
    0xec937693937f3be5,
    0x0d228822222f44aa,
    0x07648d646463c8e9,
    0xdbf1e3f1f12aff12,
    0xbf73d17373cce6a2,
    0x901248121282245a,
    0x3a401d40407a805d,
    0x4008200808481028,
    0x56c32bc3c3959be8,
    0x33ec97ececdfc57b,
    0x96db4bdbdb4dab90,
    0x61a1bea1a1c05f1f,
    0x1c8d0e8d8d910783,
    0xf53df43d3dc87ac9,
    0xcc976697975b33f1,
    0x0000000000000000,
    0x36cf1bcfcff983d4,
    0x452bac2b2b6e5687,
    0x9776c57676e1ecb3,
    0x6482328282e619b0,
    0xfed67fd6d628b1a9,
    0xd81b6c1b1bc33677,
    0xc1b5eeb5b574775b,
    0x11af86afafbe4329,
    0x776ab56a6a1dd4df,
    0xba505d5050eaa00d,
    0x1245094545578a4c,
    0xcbf3ebf3f338fb18,
    0x9d30c03030ad60f0,
    0x2bef9befefc4c374,
    0xe53ffc3f3fda7ec3,
    0x9255495555c7aa1c,
    0x79a2b2a2a2db5910,
    0x03ea8feaeae9c965,
    0x0f658965656acaec,
    0xb9bad2baba036968,
    0x652fbc2f2f4a5e93,
    0x4ec027c0c08e9de7,
    0xbede5fdede60a181,
    0xe01c701c1cfc386c,
    0xbbfdd3fdfd46e72e,
    0x524d294d4d1f9a64,
    0xe4927292927639e0,
    0x8f75c97575faeabc,
    0x3006180606360c1e,
    0x248a128a8aae0998,
    0xf9b2f2b2b24b7940,
    0x63e6bfe6e685d159,
    0x700e380e0e7e1c36,
    0xf81f7c1f1fe73e63,
    0x376295626255c4f7,
    0xeed477d4d43ab5a3,
    0x29a89aa8a8814d32,
    0xc4966296965231f4,
    0x9bf9c3f9f962ef3a,
    0x66c533c5c5a397f6,
    0x3525942525104ab1,
    0xf259795959abb220,
    0x54842a8484d015ae,
    0xb772d57272c5e4a7,
    0xd539e43939ec72dd,
    0x5a4c2d4c4c169861,
    0xca5e655e5e94bc3b,
    0xe778fd78789ff085,
    0xdd38e03838e570d8,
    0x148c0a8c8c980586,
    0xc6d163d1d117bfb2,
    0x41a5aea5a5e4570b,
    0x43e2afe2e2a1d94d,
    0x2f619961614ec2f8,
    0xf1b3f6b3b3427b45,
    0x15218421213442a5,
    0x949c4a9c9c0825d6,
    0xf01e781e1eee3c66,
    0x2243114343618652,
    0x76c73bc7c7b193fc,
    0xb3fcd7fcfc4fe52b,
    0x2004100404240814,
    0xb251595151e3a208,
    0xbc995e9999252fc7,
    0x4f6da96d6d22dac4,
    0x680d340d0d651a39,
    0x83facffafa79e935,
    0xb6df5bdfdf69a384,
    0xd77ee57e7ea9fc9b,
    0x3d249024241948b4,
    0xc53bec3b3bfe76d7,
    0x31ab96abab9a4b3d,
    0x3ece1fcecef081d1,
    0x8811441111992255,
    0x0c8f068f8f830389,
    0x4a4e254e4e049c6b,
    0xd1b7e6b7b7667351,
    0x0beb8bebebe0cb60,
    0xfd3cf03c3cc178cc,
    0x7c813e8181fd1fbf,
    0xd4946a94944035fe,
    0xebf7fbf7f71cf30c,
    0xa1b9deb9b9186f67,
    0x98134c13138b265f,
    0x7d2cb02c2c51589c,
    0xd6d36bd3d305bbb8,
    0x6be7bbe7e78cd35c,
    0x576ea56e6e39dccb,
    0x6ec437c4c4aa95f3,
    0x18030c03031b060f,
    0x8a56455656dcac13,
    0x1a440d44445e8849,
    0xdf7fe17f7fa0fe9e,
    0x21a99ea9a9884f37,
    0x4d2aa82a2a675482,
    0xb1bbd6bbbb0a6b6d,
    0x46c123c1c1879fe2,
    0xa253515353f1a602,
    0xaedc57dcdc72a58b,
    0x580b2c0b0b531627,
    0x9c9d4e9d9d0127d3,
    0x476cad6c6c2bd8c1,
    0x9531c43131a462f5,
    0x8774cd7474f3e8b9,
    0xe3f6fff6f615f109,
    0x0a460546464c8c43,
    0x09ac8aacaca54526,
    0x3c891e8989b50f97,
    0xa014501414b42844,
    0x5be1a3e1e1badf42,
    0xb016581616a62c4e,
    0xcd3ae83a3af774d2,
    0x6f69b9696906d2d0,
    0x480924090941122d,
    0xa770dd7070d7e0ad,
    0xd9b6e2b6b66f7154,
    0xced067d0d01ebdb7,
    0x3bed93ededd6c77e,
    0x2ecc17cccce285db,
    0x2a42154242688457,
    0xb4985a98982c2dc2,
    0x49a4aaa4a4ed550e,
    0x5d28a02828755088,
    0xda5c6d5c5c86b831,
    0x93f8c7f8f86bed3f,
    0x4486228686c211a4,
];

pub const C4: [u64; 256] = [
    0x18601818d83078c0,
    0x238c23232646af05,
    0xc63fc6c6b891f97e,
    0xe887e8e8fbcd6f13,
    0x87268787cb13a14c,
    0xb8dab8b8116d62a9,
    0x0104010109020508,
    0x4f214f4f0d9e6e42,
    0x36d836369b6ceead,
    0xa6a2a6a6ff510459,
    0xd26fd2d20cb9bdde,
    0xf5f3f5f50ef706fb,
    0x79f9797996f280ef,
    0x6fa16f6f30dece5f,
    0x917e91916d3feffc,
    0x52555252f8a407aa,
    0x609d606047c0fd27,
    0xbccabcbc35657689,
    0x9b569b9b372bcdac,
    0x8e028e8e8a018c04,
    0xa3b6a3a3d25b1571,
    0x0c300c0c6c183c60,
    0x7bf17b7b84f68aff,
    0x35d43535806ae1b5,
    0x1d741d1df53a69e8,
    0xe0a7e0e0b3dd4753,
    0xd77bd7d721b3acf6,
    0xc22fc2c29c99ed5e,
    0x2eb82e2e435c966d,
    0x4b314b4b29967a62,
    0xfedffefe5de121a3,
    0x57415757d5ae1682,
    0x15541515bd2a41a8,
    0x77c17777e8eeb69f,
    0x37dc3737926eeba5,
    0xe5b3e5e59ed7567b,
    0x9f469f9f1323d98c,
    0xf0e7f0f023fd17d3,
    0x4a354a4a20947f6a,
    0xda4fdada44a9959e,
    0x587d5858a2b025fa,
    0xc903c9c9cf8fca06,
    0x29a429297c528d55,
    0x0a280a0a5a142250,
    0xb1feb1b1507f4fe1,
    0xa0baa0a0c95d1a69,
    0x6bb16b6b14d6da7f,
    0x852e8585d917ab5c,
    0xbdcebdbd3c677381,
    0x5d695d5d8fba34d2,
    0x1040101090205080,
    0xf4f7f4f407f503f3,
    0xcb0bcbcbdd8bc016,
    0x3ef83e3ed37cc6ed,
    0x051405052d0a1128,
    0x6781676778cee61f,
    0xe4b7e4e497d55373,
    0x279c2727024ebb25,
    0x4119414173825832,
    0x8b168b8ba70b9d2c,
    0xa7a6a7a7f6530151,
    0x7de97d7db2fa94cf,
    0x956e95954937fbdc,
    0xd847d8d856ad9f8e,
    0xfbcbfbfb70eb308b,
    0xee9feeeecdc17123,
    0x7ced7c7cbbf891c7,
    0x6685666671cce317,
    0xdd53dddd7ba78ea6,
    0x175c1717af2e4bb8,
    0x47014747458e4602,
    0x9e429e9e1a21dc84,
    0xca0fcacad489c51e,
    0x2db42d2d585a9975,
    0xbfc6bfbf2e637991,
    0x071c07073f0e1b38,
    0xad8eadadac472301,
    0x5a755a5ab0b42fea,
    0x83368383ef1bb56c,
    0x33cc3333b666ff85,
    0x639163635cc6f23f,
    0x0208020212040a10,
    0xaa92aaaa93493839,
    0x71d97171dee2a8af,
    0xc807c8c8c68dcf0e,
    0x19641919d1327dc8,
    0x493949493b927072,
    0xd943d9d95faf9a86,
    0xf2eff2f231f91dc3,
    0xe3abe3e3a8db484b,
    0x5b715b5bb9b62ae2,
    0x881a8888bc0d9234,
    0x9a529a9a3e29c8a4,
    0x269826260b4cbe2d,
    0x32c83232bf64fa8d,
    0xb0fab0b0597d4ae9,
    0xe983e9e9f2cf6a1b,
    0x0f3c0f0f771e3378,
    0xd573d5d533b7a6e6,
    0x803a8080f41dba74,
    0xbec2bebe27617c99,
    0xcd13cdcdeb87de26,
    0x34d034348968e4bd,
    0x483d48483290757a,
    0xffdbffff54e324ab,
    0x7af57a7a8df48ff7,
    0x907a9090643deaf4,
    0x5f615f5f9dbe3ec2,
    0x208020203d40a01d,
    0x68bd68680fd0d567,
    0x1a681a1aca3472d0,
    0xae82aeaeb7412c19,
    0xb4eab4b47d755ec9,
    0x544d5454cea8199a,
    0x937693937f3be5ec,
    0x228822222f44aa0d,
    0x648d646463c8e907,
    0xf1e3f1f12aff12db,
    0x73d17373cce6a2bf,
    0x1248121282245a90,
    0x401d40407a805d3a,
    0x0820080848102840,
    0xc32bc3c3959be856,
    0xec97ececdfc57b33,
    0xdb4bdbdb4dab9096,
    0xa1bea1a1c05f1f61,
    0x8d0e8d8d9107831c,
    0x3df43d3dc87ac9f5,
    0x976697975b33f1cc,
    0x0000000000000000,
    0xcf1bcfcff983d436,
    0x2bac2b2b6e568745,
    0x76c57676e1ecb397,
    0x82328282e619b064,
    0xd67fd6d628b1a9fe,
    0x1b6c1b1bc33677d8,
    0xb5eeb5b574775bc1,
    0xaf86afafbe432911,
    0x6ab56a6a1dd4df77,
    0x505d5050eaa00dba,
    0x45094545578a4c12,
    0xf3ebf3f338fb18cb,
    0x30c03030ad60f09d,
    0xef9befefc4c3742b,
    0x3ffc3f3fda7ec3e5,
    0x55495555c7aa1c92,
    0xa2b2a2a2db591079,
    0xea8feaeae9c96503,
    0x658965656acaec0f,
    0xbad2baba036968b9,
    0x2fbc2f2f4a5e9365,
    0xc027c0c08e9de74e,
    0xde5fdede60a181be,
    0x1c701c1cfc386ce0,
    0xfdd3fdfd46e72ebb,
    0x4d294d4d1f9a6452,
    0x927292927639e0e4,
    0x75c97575faeabc8f,
    0x06180606360c1e30,
    0x8a128a8aae099824,
    0xb2f2b2b24b7940f9,
    0xe6bfe6e685d15963,
    0x0e380e0e7e1c3670,
    0x1f7c1f1fe73e63f8,
    0x6295626255c4f737,
    0xd477d4d43ab5a3ee,
    0xa89aa8a8814d3229,
    0x966296965231f4c4,
    0xf9c3f9f962ef3a9b,
    0xc533c5c5a397f666,
    0x25942525104ab135,
    0x59795959abb220f2,
    0x842a8484d015ae54,
    0x72d57272c5e4a7b7,
    0x39e43939ec72ddd5,
    0x4c2d4c4c1698615a,
    0x5e655e5e94bc3bca,
    0x78fd78789ff085e7,
    0x38e03838e570d8dd,
    0x8c0a8c8c98058614,
    0xd163d1d117bfb2c6,
    0xa5aea5a5e4570b41,
    0xe2afe2e2a1d94d43,
    0x619961614ec2f82f,
    0xb3f6b3b3427b45f1,
    0x218421213442a515,
    0x9c4a9c9c0825d694,
    0x1e781e1eee3c66f0,
    0x4311434361865222,
    0xc73bc7c7b193fc76,
    0xfcd7fcfc4fe52bb3,
    0x0410040424081420,
    0x51595151e3a208b2,
    0x995e9999252fc7bc,
    0x6da96d6d22dac44f,
    0x0d340d0d651a3968,
    0xfacffafa79e93583,
    0xdf5bdfdf69a384b6,
    0x7ee57e7ea9fc9bd7,
    0x249024241948b43d,
    0x3bec3b3bfe76d7c5,
    0xab96abab9a4b3d31,
    0xce1fcecef081d13e,
    0x1144111199225588,
    0x8f068f8f8303890c,
    0x4e254e4e049c6b4a,
    0xb7e6b7b7667351d1,
    0xeb8bebebe0cb600b,
    0x3cf03c3cc178ccfd,
    0x813e8181fd1fbf7c,
    0x946a94944035fed4,
    0xf7fbf7f71cf30ceb,
    0xb9deb9b9186f67a1,
    0x134c13138b265f98,
    0x2cb02c2c51589c7d,
    0xd36bd3d305bbb8d6,
    0xe7bbe7e78cd35c6b,
    0x6ea56e6e39dccb57,
    0xc437c4c4aa95f36e,
    0x030c03031b060f18,
    0x56455656dcac138a,
    0x440d44445e88491a,
    0x7fe17f7fa0fe9edf,
    0xa99ea9a9884f3721,
    0x2aa82a2a6754824d,
    0xbbd6bbbb0a6b6db1,
    0xc123c1c1879fe246,
    0x53515353f1a602a2,
    0xdc57dcdc72a58bae,
    0x0b2c0b0b53162758,
    0x9d4e9d9d0127d39c,
    0x6cad6c6c2bd8c147,
    0x31c43131a462f595,
    0x74cd7474f3e8b987,
    0xf6fff6f615f109e3,
    0x460546464c8c430a,
    0xac8aacaca5452609,
    0x891e8989b50f973c,
    0x14501414b42844a0,
    0xe1a3e1e1badf425b,
    0x16581616a62c4eb0,
    0x3ae83a3af774d2cd,
    0x69b9696906d2d06f,
    0x0924090941122d48,
    0x70dd7070d7e0ada7,
    0xb6e2b6b66f7154d9,
    0xd067d0d01ebdb7ce,
    0xed93ededd6c77e3b,
    0xcc17cccce285db2e,
    0x421542426884572a,
    0x985a98982c2dc2b4,
    0xa4aaa4a4ed550e49,
    0x28a028287550885d,
    0x5c6d5c5c86b831da,
    0xf8c7f8f86bed3f93,
    0x86228686c211a444,
];

pub const C5: [u64; 256] = [
    0x601818d83078c018,
    0x8c23232646af0523,
    0x3fc6c6b891f97ec6,
    0x87e8e8fbcd6f13e8,
    0x268787cb13a14c87,
    0xdab8b8116d62a9b8,
    0x0401010902050801,
    0x214f4f0d9e6e424f,
    0xd836369b6ceead36,
    0xa2a6a6ff510459a6,
    0x6fd2d20cb9bdded2,
    0xf3f5f50ef706fbf5,
    0xf9797996f280ef79,
    0xa16f6f30dece5f6f,
    0x7e91916d3feffc91,
    0x555252f8a407aa52,
    0x9d606047c0fd2760,
    0xcabcbc35657689bc,
    0x569b9b372bcdac9b,
    0x028e8e8a018c048e,
    0xb6a3a3d25b1571a3,
    0x300c0c6c183c600c,
    0xf17b7b84f68aff7b,
    0xd43535806ae1b535,
    0x741d1df53a69e81d,
    0xa7e0e0b3dd4753e0,
    0x7bd7d721b3acf6d7,
    0x2fc2c29c99ed5ec2,
    0xb82e2e435c966d2e,
    0x314b4b29967a624b,
    0xdffefe5de121a3fe,
    0x415757d5ae168257,
    0x541515bd2a41a815,
    0xc17777e8eeb69f77,
    0xdc3737926eeba537,
    0xb3e5e59ed7567be5,
    0x469f9f1323d98c9f,
    0xe7f0f023fd17d3f0,
    0x354a4a20947f6a4a,
    0x4fdada44a9959eda,
    0x7d5858a2b025fa58,
    0x03c9c9cf8fca06c9,
    0xa429297c528d5529,
    0x280a0a5a1422500a,
    0xfeb1b1507f4fe1b1,
    0xbaa0a0c95d1a69a0,
    0xb16b6b14d6da7f6b,
    0x2e8585d917ab5c85,
    0xcebdbd3c677381bd,
    0x695d5d8fba34d25d,
    0x4010109020508010,
    0xf7f4f407f503f3f4,
    0x0bcbcbdd8bc016cb,
    0xf83e3ed37cc6ed3e,
    0x1405052d0a112805,
    0x81676778cee61f67,
    0xb7e4e497d55373e4,
    0x9c2727024ebb2527,
    0x1941417382583241,
    0x168b8ba70b9d2c8b,
    0xa6a7a7f6530151a7,
    0xe97d7db2fa94cf7d,
    0x6e95954937fbdc95,
    0x47d8d856ad9f8ed8,
    0xcbfbfb70eb308bfb,
    0x9feeeecdc17123ee,
    0xed7c7cbbf891c77c,
    0x85666671cce31766,
    0x53dddd7ba78ea6dd,
    0x5c1717af2e4bb817,
    0x014747458e460247,
    0x429e9e1a21dc849e,
    0x0fcacad489c51eca,
    0xb42d2d585a99752d,
    0xc6bfbf2e637991bf,
    0x1c07073f0e1b3807,
    0x8eadadac472301ad,
    0x755a5ab0b42fea5a,
    0x368383ef1bb56c83,
    0xcc3333b666ff8533,
    0x9163635cc6f23f63,
    0x08020212040a1002,
    0x92aaaa93493839aa,
    0xd97171dee2a8af71,
    0x07c8c8c68dcf0ec8,
    0x641919d1327dc819,
    0x3949493b92707249,
    0x43d9d95faf9a86d9,
    0xeff2f231f91dc3f2,
    0xabe3e3a8db484be3,
    0x715b5bb9b62ae25b,
    0x1a8888bc0d923488,
    0x529a9a3e29c8a49a,
    0x9826260b4cbe2d26,
    0xc83232bf64fa8d32,
    0xfab0b0597d4ae9b0,
    0x83e9e9f2cf6a1be9,
    0x3c0f0f771e33780f,
    0x73d5d533b7a6e6d5,
    0x3a8080f41dba7480,
    0xc2bebe27617c99be,
    0x13cdcdeb87de26cd,
    0xd034348968e4bd34,
    0x3d48483290757a48,
    0xdbffff54e324abff,
    0xf57a7a8df48ff77a,
    0x7a9090643deaf490,
    0x615f5f9dbe3ec25f,
    0x8020203d40a01d20,
    0xbd68680fd0d56768,
    0x681a1aca3472d01a,
    0x82aeaeb7412c19ae,
    0xeab4b47d755ec9b4,
    0x4d5454cea8199a54,
    0x7693937f3be5ec93,
    0x8822222f44aa0d22,
    0x8d646463c8e90764,
    0xe3f1f12aff12dbf1,
    0xd17373cce6a2bf73,
    0x48121282245a9012,
    0x1d40407a805d3a40,
    0x2008084810284008,
    0x2bc3c3959be856c3,
    0x97ececdfc57b33ec,
    0x4bdbdb4dab9096db,
    0xbea1a1c05f1f61a1,
    0x0e8d8d9107831c8d,
    0xf43d3dc87ac9f53d,
    0x6697975b33f1cc97,
    0x0000000000000000,
    0x1bcfcff983d436cf,
    0xac2b2b6e5687452b,
    0xc57676e1ecb39776,
    0x328282e619b06482,
    0x7fd6d628b1a9fed6,
    0x6c1b1bc33677d81b,
    0xeeb5b574775bc1b5,
    0x86afafbe432911af,
    0xb56a6a1dd4df776a,
    0x5d5050eaa00dba50,
    0x094545578a4c1245,
    0xebf3f338fb18cbf3,
    0xc03030ad60f09d30,
    0x9befefc4c3742bef,
    0xfc3f3fda7ec3e53f,
    0x495555c7aa1c9255,
    0xb2a2a2db591079a2,
    0x8feaeae9c96503ea,
    0x8965656acaec0f65,
    0xd2baba036968b9ba,
    0xbc2f2f4a5e93652f,
    0x27c0c08e9de74ec0,
    0x5fdede60a181bede,
    0x701c1cfc386ce01c,
    0xd3fdfd46e72ebbfd,
    0x294d4d1f9a64524d,
    0x7292927639e0e492,
    0xc97575faeabc8f75,
    0x180606360c1e3006,
    0x128a8aae0998248a,
    0xf2b2b24b7940f9b2,
    0xbfe6e685d15963e6,
    0x380e0e7e1c36700e,
    0x7c1f1fe73e63f81f,
    0x95626255c4f73762,
    0x77d4d43ab5a3eed4,
    0x9aa8a8814d3229a8,
    0x6296965231f4c496,
    0xc3f9f962ef3a9bf9,
    0x33c5c5a397f666c5,
    0x942525104ab13525,
    0x795959abb220f259,
    0x2a8484d015ae5484,
    0xd57272c5e4a7b772,
    0xe43939ec72ddd539,
    0x2d4c4c1698615a4c,
    0x655e5e94bc3bca5e,
    0xfd78789ff085e778,
    0xe03838e570d8dd38,
    0x0a8c8c980586148c,
    0x63d1d117bfb2c6d1,
    0xaea5a5e4570b41a5,
    0xafe2e2a1d94d43e2,
    0x9961614ec2f82f61,
    0xf6b3b3427b45f1b3,
    0x8421213442a51521,
    0x4a9c9c0825d6949c,
    0x781e1eee3c66f01e,
    0x1143436186522243,
    0x3bc7c7b193fc76c7,
    0xd7fcfc4fe52bb3fc,
    0x1004042408142004,
    0x595151e3a208b251,
    0x5e9999252fc7bc99,
    0xa96d6d22dac44f6d,
    0x340d0d651a39680d,
    0xcffafa79e93583fa,
    0x5bdfdf69a384b6df,
    0xe57e7ea9fc9bd77e,
    0x9024241948b43d24,
    0xec3b3bfe76d7c53b,
    0x96abab9a4b3d31ab,
    0x1fcecef081d13ece,
    0x4411119922558811,
    0x068f8f8303890c8f,
    0x254e4e049c6b4a4e,
    0xe6b7b7667351d1b7,
    0x8bebebe0cb600beb,
    0xf03c3cc178ccfd3c,
    0x3e8181fd1fbf7c81,
    0x6a94944035fed494,
    0xfbf7f71cf30cebf7,
    0xdeb9b9186f67a1b9,
    0x4c13138b265f9813,
    0xb02c2c51589c7d2c,
    0x6bd3d305bbb8d6d3,
    0xbbe7e78cd35c6be7,
    0xa56e6e39dccb576e,
    0x37c4c4aa95f36ec4,
    0x0c03031b060f1803,
    0x455656dcac138a56,
    0x0d44445e88491a44,
    0xe17f7fa0fe9edf7f,
    0x9ea9a9884f3721a9,
    0xa82a2a6754824d2a,
    0xd6bbbb0a6b6db1bb,
    0x23c1c1879fe246c1,
    0x515353f1a602a253,
    0x57dcdc72a58baedc,
    0x2c0b0b531627580b,
    0x4e9d9d0127d39c9d,
    0xad6c6c2bd8c1476c,
    0xc43131a462f59531,
    0xcd7474f3e8b98774,
    0xfff6f615f109e3f6,
    0x0546464c8c430a46,
    0x8aacaca5452609ac,
    0x1e8989b50f973c89,
    0x501414b42844a014,
    0xa3e1e1badf425be1,
    0x581616a62c4eb016,
    0xe83a3af774d2cd3a,
    0xb9696906d2d06f69,
    0x24090941122d4809,
    0xdd7070d7e0ada770,
    0xe2b6b66f7154d9b6,
    0x67d0d01ebdb7ced0,
    0x93ededd6c77e3bed,
    0x17cccce285db2ecc,
    0x1542426884572a42,
    0x5a98982c2dc2b498,
    0xaaa4a4ed550e49a4,
    0xa028287550885d28,
    0x6d5c5c86b831da5c,
    0xc7f8f86bed3f93f8,
    0x228686c211a44486,
];

pub const C6: [u64; 256] = [
    0x1818d83078c01860,
    0x23232646af05238c,
    0xc6c6b891f97ec63f,
    0xe8e8fbcd6f13e887,
    0x8787cb13a14c8726,
    0xb8b8116d62a9b8da,
    0x0101090205080104,
    0x4f4f0d9e6e424f21,
    0x36369b6ceead36d8,
    0xa6a6ff510459a6a2,
    0xd2d20cb9bdded26f,
    0xf5f50ef706fbf5f3,
    0x797996f280ef79f9,
    0x6f6f30dece5f6fa1,
    0x91916d3feffc917e,
    0x5252f8a407aa5255,
    0x606047c0fd27609d,
    0xbcbc35657689bcca,
    0x9b9b372bcdac9b56,
    0x8e8e8a018c048e02,
    0xa3a3d25b1571a3b6,
    0x0c0c6c183c600c30,
    0x7b7b84f68aff7bf1,
    0x3535806ae1b535d4,
    0x1d1df53a69e81d74,
    0xe0e0b3dd4753e0a7,
    0xd7d721b3acf6d77b,
    0xc2c29c99ed5ec22f,
    0x2e2e435c966d2eb8,
    0x4b4b29967a624b31,
    0xfefe5de121a3fedf,
    0x5757d5ae16825741,
    0x1515bd2a41a81554,
    0x7777e8eeb69f77c1,
    0x3737926eeba537dc,
    0xe5e59ed7567be5b3,
    0x9f9f1323d98c9f46,
    0xf0f023fd17d3f0e7,
    0x4a4a20947f6a4a35,
    0xdada44a9959eda4f,
    0x5858a2b025fa587d,
    0xc9c9cf8fca06c903,
    0x29297c528d5529a4,
    0x0a0a5a1422500a28,
    0xb1b1507f4fe1b1fe,
    0xa0a0c95d1a69a0ba,
    0x6b6b14d6da7f6bb1,
    0x8585d917ab5c852e,
    0xbdbd3c677381bdce,
    0x5d5d8fba34d25d69,
    0x1010902050801040,
    0xf4f407f503f3f4f7,
    0xcbcbdd8bc016cb0b,
    0x3e3ed37cc6ed3ef8,
    0x05052d0a11280514,
    0x676778cee61f6781,
    0xe4e497d55373e4b7,
    0x2727024ebb25279c,
    0x4141738258324119,
    0x8b8ba70b9d2c8b16,
    0xa7a7f6530151a7a6,
    0x7d7db2fa94cf7de9,
    0x95954937fbdc956e,
    0xd8d856ad9f8ed847,
    0xfbfb70eb308bfbcb,
    0xeeeecdc17123ee9f,
    0x7c7cbbf891c77ced,
    0x666671cce3176685,
    0xdddd7ba78ea6dd53,
    0x1717af2e4bb8175c,
    0x4747458e46024701,
    0x9e9e1a21dc849e42,
    0xcacad489c51eca0f,
    0x2d2d585a99752db4,
    0xbfbf2e637991bfc6,
    0x07073f0e1b38071c,
    0xadadac472301ad8e,
    0x5a5ab0b42fea5a75,
    0x8383ef1bb56c8336,
    0x3333b666ff8533cc,
    0x63635cc6f23f6391,
    0x020212040a100208,
    0xaaaa93493839aa92,
    0x7171dee2a8af71d9,
    0xc8c8c68dcf0ec807,
    0x1919d1327dc81964,
    0x49493b9270724939,
    0xd9d95faf9a86d943,
    0xf2f231f91dc3f2ef,
    0xe3e3a8db484be3ab,
    0x5b5bb9b62ae25b71,
    0x8888bc0d9234881a,
    0x9a9a3e29c8a49a52,
    0x26260b4cbe2d2698,
    0x3232bf64fa8d32c8,
    0xb0b0597d4ae9b0fa,
    0xe9e9f2cf6a1be983,
    0x0f0f771e33780f3c,
    0xd5d533b7a6e6d573,
    0x8080f41dba74803a,
    0xbebe27617c99bec2,
    0xcdcdeb87de26cd13,
    0x34348968e4bd34d0,
    0x48483290757a483d,
    0xffff54e324abffdb,
    0x7a7a8df48ff77af5,
    0x9090643deaf4907a,
    0x5f5f9dbe3ec25f61,
    0x20203d40a01d2080,
    0x68680fd0d56768bd,
    0x1a1aca3472d01a68,
    0xaeaeb7412c19ae82,
    0xb4b47d755ec9b4ea,
    0x5454cea8199a544d,
    0x93937f3be5ec9376,
    0x22222f44aa0d2288,
    0x646463c8e907648d,
    0xf1f12aff12dbf1e3,
    0x7373cce6a2bf73d1,
    0x121282245a901248,
    0x40407a805d3a401d,
    0x0808481028400820,
    0xc3c3959be856c32b,
    0xececdfc57b33ec97,
    0xdbdb4dab9096db4b,
    0xa1a1c05f1f61a1be,
    0x8d8d9107831c8d0e,
    0x3d3dc87ac9f53df4,
    0x97975b33f1cc9766,
    0x0000000000000000,
    0xcfcff983d436cf1b,
    0x2b2b6e5687452bac,
    0x7676e1ecb39776c5,
    0x8282e619b0648232,
    0xd6d628b1a9fed67f,
    0x1b1bc33677d81b6c,
    0xb5b574775bc1b5ee,
    0xafafbe432911af86,
    0x6a6a1dd4df776ab5,
    0x5050eaa00dba505d,
    0x4545578a4c124509,
    0xf3f338fb18cbf3eb,
    0x3030ad60f09d30c0,
    0xefefc4c3742bef9b,
    0x3f3fda7ec3e53ffc,
    0x5555c7aa1c925549,
    0xa2a2db591079a2b2,
    0xeaeae9c96503ea8f,
    0x65656acaec0f6589,
    0xbaba036968b9bad2,
    0x2f2f4a5e93652fbc,
    0xc0c08e9de74ec027,
    0xdede60a181bede5f,
    0x1c1cfc386ce01c70,
    0xfdfd46e72ebbfdd3,
    0x4d4d1f9a64524d29,
    0x92927639e0e49272,
    0x7575faeabc8f75c9,
    0x0606360c1e300618,
    0x8a8aae0998248a12,
    0xb2b24b7940f9b2f2,
    0xe6e685d15963e6bf,
    0x0e0e7e1c36700e38,
    0x1f1fe73e63f81f7c,
    0x626255c4f7376295,
    0xd4d43ab5a3eed477,
    0xa8a8814d3229a89a,
    0x96965231f4c49662,
    0xf9f962ef3a9bf9c3,
    0xc5c5a397f666c533,
    0x2525104ab1352594,
    0x5959abb220f25979,
    0x8484d015ae54842a,
    0x7272c5e4a7b772d5,
    0x3939ec72ddd539e4,
    0x4c4c1698615a4c2d,
    0x5e5e94bc3bca5e65,
    0x78789ff085e778fd,
    0x3838e570d8dd38e0,
    0x8c8c980586148c0a,
    0xd1d117bfb2c6d163,
    0xa5a5e4570b41a5ae,
    0xe2e2a1d94d43e2af,
    0x61614ec2f82f6199,
    0xb3b3427b45f1b3f6,
    0x21213442a5152184,
    0x9c9c0825d6949c4a,
    0x1e1eee3c66f01e78,
    0x4343618652224311,
    0xc7c7b193fc76c73b,
    0xfcfc4fe52bb3fcd7,
    0x0404240814200410,
    0x5151e3a208b25159,
    0x9999252fc7bc995e,
    0x6d6d22dac44f6da9,
    0x0d0d651a39680d34,
    0xfafa79e93583facf,
    0xdfdf69a384b6df5b,
    0x7e7ea9fc9bd77ee5,
    0x24241948b43d2490,
    0x3b3bfe76d7c53bec,
    0xabab9a4b3d31ab96,
    0xcecef081d13ece1f,
    0x1111992255881144,
    0x8f8f8303890c8f06,
    0x4e4e049c6b4a4e25,
    0xb7b7667351d1b7e6,
    0xebebe0cb600beb8b,
    0x3c3cc178ccfd3cf0,
    0x8181fd1fbf7c813e,
    0x94944035fed4946a,
    0xf7f71cf30cebf7fb,
    0xb9b9186f67a1b9de,
    0x13138b265f98134c,
    0x2c2c51589c7d2cb0,
    0xd3d305bbb8d6d36b,
    0xe7e78cd35c6be7bb,
    0x6e6e39dccb576ea5,
    0xc4c4aa95f36ec437,
    0x03031b060f18030c,
    0x5656dcac138a5645,
    0x44445e88491a440d,
    0x7f7fa0fe9edf7fe1,
    0xa9a9884f3721a99e,
    0x2a2a6754824d2aa8,
    0xbbbb0a6b6db1bbd6,
    0xc1c1879fe246c123,
    0x5353f1a602a25351,
    0xdcdc72a58baedc57,
    0x0b0b531627580b2c,
    0x9d9d0127d39c9d4e,
    0x6c6c2bd8c1476cad,
    0x3131a462f59531c4,
    0x7474f3e8b98774cd,
    0xf6f615f109e3f6ff,
    0x46464c8c430a4605,
    0xacaca5452609ac8a,
    0x8989b50f973c891e,
    0x1414b42844a01450,
    0xe1e1badf425be1a3,
    0x1616a62c4eb01658,
    0x3a3af774d2cd3ae8,
    0x696906d2d06f69b9,
    0x090941122d480924,
    0x7070d7e0ada770dd,
    0xb6b66f7154d9b6e2,
    0xd0d01ebdb7ced067,
    0xededd6c77e3bed93,
    0xcccce285db2ecc17,
    0x42426884572a4215,
    0x98982c2dc2b4985a,
    0xa4a4ed550e49a4aa,
    0x28287550885d28a0,
    0x5c5c86b831da5c6d,
    0xf8f86bed3f93f8c7,
    0x8686c211a4448622,
];

pub const C7: [u64; 256] = [
    0x18d83078c0186018,
    0x232646af05238c23,
    0xc6b891f97ec63fc6,
    0xe8fbcd6f13e887e8,
    0x87cb13a14c872687,
    0xb8116d62a9b8dab8,
    0x0109020508010401,
    0x4f0d9e6e424f214f,
    0x369b6ceead36d836,
    0xa6ff510459a6a2a6,
    0xd20cb9bdded26fd2,
    0xf50ef706fbf5f3f5,
    0x7996f280ef79f979,
    0x6f30dece5f6fa16f,
    0x916d3feffc917e91,
    0x52f8a407aa525552,
    0x6047c0fd27609d60,
    0xbc35657689bccabc,
    0x9b372bcdac9b569b,
    0x8e8a018c048e028e,
    0xa3d25b1571a3b6a3,
    0x0c6c183c600c300c,
    0x7b84f68aff7bf17b,
    0x35806ae1b535d435,
    0x1df53a69e81d741d,
    0xe0b3dd4753e0a7e0,
    0xd721b3acf6d77bd7,
    0xc29c99ed5ec22fc2,
    0x2e435c966d2eb82e,
    0x4b29967a624b314b,
    0xfe5de121a3fedffe,
    0x57d5ae1682574157,
    0x15bd2a41a8155415,
    0x77e8eeb69f77c177,
    0x37926eeba537dc37,
    0xe59ed7567be5b3e5,
    0x9f1323d98c9f469f,
    0xf023fd17d3f0e7f0,
    0x4a20947f6a4a354a,
    0xda44a9959eda4fda,
    0x58a2b025fa587d58,
    0xc9cf8fca06c903c9,
    0x297c528d5529a429,
    0x0a5a1422500a280a,
    0xb1507f4fe1b1feb1,
    0xa0c95d1a69a0baa0,
    0x6b14d6da7f6bb16b,
    0x85d917ab5c852e85,
    0xbd3c677381bdcebd,
    0x5d8fba34d25d695d,
    0x1090205080104010,
    0xf407f503f3f4f7f4,
    0xcbdd8bc016cb0bcb,
    0x3ed37cc6ed3ef83e,
    0x052d0a1128051405,
    0x6778cee61f678167,
    0xe497d55373e4b7e4,
    0x27024ebb25279c27,
    0x4173825832411941,
    0x8ba70b9d2c8b168b,
    0xa7f6530151a7a6a7,
    0x7db2fa94cf7de97d,
    0x954937fbdc956e95,
    0xd856ad9f8ed847d8,
    0xfb70eb308bfbcbfb,
    0xeecdc17123ee9fee,
    0x7cbbf891c77ced7c,
    0x6671cce317668566,
    0xdd7ba78ea6dd53dd,
    0x17af2e4bb8175c17,
    0x47458e4602470147,
    0x9e1a21dc849e429e,
    0xcad489c51eca0fca,
    0x2d585a99752db42d,
    0xbf2e637991bfc6bf,
    0x073f0e1b38071c07,
    0xadac472301ad8ead,
    0x5ab0b42fea5a755a,
    0x83ef1bb56c833683,
    0x33b666ff8533cc33,
    0x635cc6f23f639163,
    0x0212040a10020802,
    0xaa93493839aa92aa,
    0x71dee2a8af71d971,
    0xc8c68dcf0ec807c8,
    0x19d1327dc8196419,
    0x493b927072493949,
    0xd95faf9a86d943d9,
    0xf231f91dc3f2eff2,
    0xe3a8db484be3abe3,
    0x5bb9b62ae25b715b,
    0x88bc0d9234881a88,
    0x9a3e29c8a49a529a,
    0x260b4cbe2d269826,
    0x32bf64fa8d32c832,
    0xb0597d4ae9b0fab0,
    0xe9f2cf6a1be983e9,
    0x0f771e33780f3c0f,
    0xd533b7a6e6d573d5,
    0x80f41dba74803a80,
    0xbe27617c99bec2be,
    0xcdeb87de26cd13cd,
    0x348968e4bd34d034,
    0x483290757a483d48,
    0xff54e324abffdbff,
    0x7a8df48ff77af57a,
    0x90643deaf4907a90,
    0x5f9dbe3ec25f615f,
    0x203d40a01d208020,
    0x680fd0d56768bd68,
    0x1aca3472d01a681a,
    0xaeb7412c19ae82ae,
    0xb47d755ec9b4eab4,
    0x54cea8199a544d54,
    0x937f3be5ec937693,
    0x222f44aa0d228822,
    0x6463c8e907648d64,
    0xf12aff12dbf1e3f1,
    0x73cce6a2bf73d173,
    0x1282245a90124812,
    0x407a805d3a401d40,
    0x0848102840082008,
    0xc3959be856c32bc3,
    0xecdfc57b33ec97ec,
    0xdb4dab9096db4bdb,
    0xa1c05f1f61a1bea1,
    0x8d9107831c8d0e8d,
    0x3dc87ac9f53df43d,
    0x975b33f1cc976697,
    0x0000000000000000,
    0xcff983d436cf1bcf,
    0x2b6e5687452bac2b,
    0x76e1ecb39776c576,
    0x82e619b064823282,
    0xd628b1a9fed67fd6,
    0x1bc33677d81b6c1b,
    0xb574775bc1b5eeb5,
    0xafbe432911af86af,
    0x6a1dd4df776ab56a,
    0x50eaa00dba505d50,
    0x45578a4c12450945,
    0xf338fb18cbf3ebf3,
    0x30ad60f09d30c030,
    0xefc4c3742bef9bef,
    0x3fda7ec3e53ffc3f,
    0x55c7aa1c92554955,
    0xa2db591079a2b2a2,
    0xeae9c96503ea8fea,
    0x656acaec0f658965,
    0xba036968b9bad2ba,
    0x2f4a5e93652fbc2f,
    0xc08e9de74ec027c0,
    0xde60a181bede5fde,
    0x1cfc386ce01c701c,
    0xfd46e72ebbfdd3fd,
    0x4d1f9a64524d294d,
    0x927639e0e4927292,
    0x75faeabc8f75c975,
    0x06360c1e30061806,
    0x8aae0998248a128a,
    0xb24b7940f9b2f2b2,
    0xe685d15963e6bfe6,
    0x0e7e1c36700e380e,
    0x1fe73e63f81f7c1f,
    0x6255c4f737629562,
    0xd43ab5a3eed477d4,
    0xa8814d3229a89aa8,
    0x965231f4c4966296,
    0xf962ef3a9bf9c3f9,
    0xc5a397f666c533c5,
    0x25104ab135259425,
    0x59abb220f2597959,
    0x84d015ae54842a84,
    0x72c5e4a7b772d572,
    0x39ec72ddd539e439,
    0x4c1698615a4c2d4c,
    0x5e94bc3bca5e655e,
    0x789ff085e778fd78,
    0x38e570d8dd38e038,
    0x8c980586148c0a8c,
    0xd117bfb2c6d163d1,
    0xa5e4570b41a5aea5,
    0xe2a1d94d43e2afe2,
    0x614ec2f82f619961,
    0xb3427b45f1b3f6b3,
    0x213442a515218421,
    0x9c0825d6949c4a9c,
    0x1eee3c66f01e781e,
    0x4361865222431143,
    0xc7b193fc76c73bc7,
    0xfc4fe52bb3fcd7fc,
    0x0424081420041004,
    0x51e3a208b2515951,
    0x99252fc7bc995e99,
    0x6d22dac44f6da96d,
    0x0d651a39680d340d,
    0xfa79e93583facffa,
    0xdf69a384b6df5bdf,
    0x7ea9fc9bd77ee57e,
    0x241948b43d249024,
    0x3bfe76d7c53bec3b,
    0xab9a4b3d31ab96ab,
    0xcef081d13ece1fce,
    0x1199225588114411,
    0x8f8303890c8f068f,
    0x4e049c6b4a4e254e,
    0xb7667351d1b7e6b7,
    0xebe0cb600beb8beb,
    0x3cc178ccfd3cf03c,
    0x81fd1fbf7c813e81,
    0x944035fed4946a94,
    0xf71cf30cebf7fbf7,
    0xb9186f67a1b9deb9,
    0x138b265f98134c13,
    0x2c51589c7d2cb02c,
    0xd305bbb8d6d36bd3,
    0xe78cd35c6be7bbe7,
    0x6e39dccb576ea56e,
    0xc4aa95f36ec437c4,
    0x031b060f18030c03,
    0x56dcac138a564556,
    0x445e88491a440d44,
    0x7fa0fe9edf7fe17f,
    0xa9884f3721a99ea9,
    0x2a6754824d2aa82a,
    0xbb0a6b6db1bbd6bb,
    0xc1879fe246c123c1,
    0x53f1a602a2535153,
    0xdc72a58baedc57dc,
    0x0b531627580b2c0b,
    0x9d0127d39c9d4e9d,
    0x6c2bd8c1476cad6c,
    0x31a462f59531c431,
    0x74f3e8b98774cd74,
    0xf615f109e3f6fff6,
    0x464c8c430a460546,
    0xaca5452609ac8aac,
    0x89b50f973c891e89,
    0x14b42844a0145014,
    0xe1badf425be1a3e1,
    0x16a62c4eb0165816,
    0x3af774d2cd3ae83a,
    0x6906d2d06f69b969,
    0x0941122d48092409,
    0x70d7e0ada770dd70,
    0xb66f7154d9b6e2b6,
    0xd01ebdb7ced067d0,
    0xedd6c77e3bed93ed,
    0xcce285db2ecc17cc,
    0x426884572a421542,
    0x982c2dc2b4985a98,
    0xa4ed550e49a4aaa4,
    0x287550885d28a028,
    0x5c86b831da5c6d5c,
    0xf86bed3f93f8c7f8,
    0x86c211a444862286,
];
